- выполнимая формула
- здійсне́нна фо́рмула
Русско-украинский политехнический словарь. 2013.
выполнимая формула
Смотреть что такое "выполнимая формула" в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
